Boolean satisfiability problem - PDFSEARCH.IO - Document Search Engine

Boolean satisfiability problem
Results: 324

#	Item
261	A Constraint Satisfaction Approach to Tractable Theory Induction John Ahlgren and Shiu Yin Yuen City University of Hong Kong, Hong Kong, China [removed] Add to Reading List Source URL: lion.disi.unitn.it Language: English - Date: 2012-12-21 02:59:42 Constraint programming Logic in computer science Logic programming Programming paradigms Constraint logic programming Constraint satisfaction Boolean satisfiability problem Horn clause Prolog Theoretical computer science Declarative programming Software engineering
262	Journal on Satisfiability, Boolean Modeling and Computation[removed] The First and Second Max-SAT Evaluations Josep Argelich [removed] Add to Reading List Source URL: jsat.ewi.tudelft.nl Language: English - Date: 2008-10-01 08:14:56 Logic in computer science NP-complete problems Boolean algebra Constraint programming Electronic design automation Maximum satisfiability problem Boolean satisfiability problem 2-satisfiability Resolution Theoretical computer science Mathematics Applied mathematics
263	Journal of Machine Learning Research[removed]3681 Submitted 4/12; Revised 7/13; Published[removed]Efficient Program Synthesis Using Constraint Satisfaction in Inductive Logic Programming Add to Reading List Source URL: jmlr.org Language: English - Date: 2013-12-12 22:22:13 Propositional calculus Logic programming Logic in computer science Boolean algebra Automated theorem proving Constraint logic programming Resolution Horn clause Boolean satisfiability problem Logic Theoretical computer science Mathematics
264	Preprocessing and Inprocessing Techniques in SAT Armin Biere Institute for Formal Models and Verification Johannes Kepler University Linz, Austria Add to Reading List Source URL: www.kr.tuwien.ac.at Language: English - Date: 2011-09-06 10:46:19 Automated theorem proving Logic in computer science NP-complete problems Boolean algebra Logic programming Boolean satisfiability problem Unit propagation Resolution Clause Theoretical computer science Mathematics Mathematical logic
265	Journal on Satisfiability, Boolean Modeling and Computation[removed] ManySAT: a Parallel SAT Solver Youssef Hamadi [removed] Add to Reading List Source URL: www.cril.univ-artois.fr Language: English - Date: 2009-12-08 06:37:10 Automated theorem proving Logic in computer science Computer file formats Mathematical optimization Operations research Boolean satisfiability problem DPLL algorithm Resolution Clause Theoretical computer science Mathematics Applied mathematics
266	Curriculum Vitae Name: Eugene (Evgueni) Goldberg Citizenship: Add to Reading List Source URL: eigold.tripod.com Language: English - Date: 2014-05-13 11:37:03 Formal methods Electronic design automation Boolean algebra Electronic design Electronic engineering Boolean satisfiability problem Model checking Solver Automated theorem proving Theoretical computer science Mathematics Applied mathematics
267	Compositional procedural content generation Julian Togelius Tróndur Justinussen Anders Hartzen Add to Reading List Source URL: julian.togelius.com Language: English - Date: 2013-08-26 11:58:53 Cybernetics NP-complete problems Evolution Evolutionary algorithm Search algorithm Algorithm Boolean satisfiability problem Answer set programming Maze generation algorithm Theoretical computer science Mathematics Applied mathematics
268	Solving planning-graph by compiling it into CSP Minh Binh Do & Subbarao Kambhampati Department of Computer Science and Engineering Arizona State University, Tempe AZ[removed]Email: fbinhminh,[removed] Add to Reading List Source URL: rakaposhi.eas.asu.edu Language: English - Date: 2004-04-15 15:35:21 Applied mathematics Constraint satisfaction problem Constraint satisfaction Local consistency Boolean satisfiability problem Search algorithm Linear programming Constraint programming Theoretical computer science Software engineering
269	Annales Mathematicae et Informaticae[removed]pp. 9–21 http://ami.ektf.hu Cube-and-Conquer approach for SAT solving on grids∗ Add to Reading List Source URL: ami.ektf.hu Language: English - Date: 2013-12-20 13:48:28 Constraint programming Boolean algebra Automated theorem proving Logic in computer science NP-complete problems Boolean satisfiability problem DPLL algorithm Satz Solver Theoretical computer science Applied mathematics Mathematics
270	i i “p01c04˙cds” — [removed] — 10:12 — page 131 — #1 i Add to Reading List Source URL: gauss.ececs.uc.edu Language: English - Date: 2011-07-05 08:44:49 Mathematical logic Mathematics Boolean satisfiability problem DPLL algorithm Clause Resolution Conjunctive normal form Local consistency Unit propagation Theoretical computer science Constraint programming Automated theorem proving

UPDATE